Parity of a permutation

Results: 103



#Item
71Independence / Model theory / Parity of a permutation / Mathematics / Symbol / Structure

TE C HNI C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN

Add to Reading List

Source URL: www.dbai.tuwien.ac.at

Language: English - Date: 2008-03-25 14:18:24
72Enumerative combinatorics / Group theory / Graph enumeration / Pólya enumeration theorem / Permutation / Binomial coefficient / Cycle index / Parity of a permutation / Polynomial / Mathematics / Combinatorics / Discrete mathematics

PDF Document

Add to Reading List

Source URL: www.math.harvard.edu

Language: English - Date: 2011-09-26 09:54:09
73Model theory / Linear temporal logic / Temporal logic / Interpretation / Modal logic / Elementary class / Structure / Parity of a permutation / Trace / Logic / Mathematics / Algebra

Rule-Based Runtime Verification Howard Barringer?1 , Allen Goldberg2 , Klaus Havelund2 and Koushik Sen??3 1 2

Add to Reading List

Source URL: www.agoldberg.org

Language: English - Date: 2008-11-03 12:59:56
74Model theory / Proof theory / Deduction / Admissible rule / Modal logic / Natural deduction / Symbol / Sequent calculus / Parity of a permutation / Logic / Mathematical logic / Mathematics

A Proof Theory for Generic Judgments Dale Miller ´ INRIA-Futurs & Ecole polytechnique and

Add to Reading List

Source URL: www.lix.polytechnique.fr

Language: English - Date: 2004-12-10 01:52:56
75Integer sequences / Number theory / Permutation pattern / Permutation / Catalan number / Factorial / Pi / Parity of a permutation / Mathematics / Combinatorics / Permutations

Segmented Partially Ordered Generalized Patterns Sergey Kitaev Department of Mathematics, University of Kentucky Lexington, KY[removed], USA E-mail: [removed]

Add to Reading List

Source URL: www.ms.uky.edu

Language: English - Date: 2004-10-19 08:24:06
76Abstract algebra / Functional programming / Monad / Model theory / Structure / Spectrum / Parity of a permutation / Mathematics / Adjoint functors / Algebra

Monadic Abstract Interpreters Ilya Sergey Dominique Devriese Matthew Might

Add to Reading List

Source URL: matt.might.net

Language: English - Date: 2014-01-06 09:40:27
77Combinatorics / Group theory / Parity / Parity of a permutation / Permutation / Symmetric group / Affine transformation / Bijection /  injection and surjection / Bijection / Mathematics / Permutations / Functions and mappings

Threshold Implementations of all 3 × 3 and 4 × 4 S-boxes Begul Bilgin1,3 , Svetla Nikova1 , Vincent Rijmen1,2 , Ventzislav Nikov4 , and Georg St¨ utz2 1

Add to Reading List

Source URL: www.cosic.esat.kuleuven.be

Language: English
78Model theory / Theoretical computer science / Group theory / Parity / Parity of a permutation / Permutations / Lp space / Admissible rule / Structure / Mathematics / Logic / Algebra

Automated Verification of Selected Equivalences for Security Protocols Bruno Blanchet Mart´ın Abadi C´edric Fournet

Add to Reading List

Source URL: prosecco.gforge.inria.fr

Language: English - Date: 2012-10-01 13:05:01
79Combinatorics / Symmetric group / Cycle / Factorial / Variably Modified Permutation Composition / Parity of a permutation / Random permutation statistics / Mathematics / Permutations / Algebra

On inverting the VMPC one-way function KAMIL KULESZA Department of Applied Mathematics and Theoretical Physics, University of Cambridge, Cambridge, UK1, Institute of Fundamental Technological Research, Polish Academy of

Add to Reading List

Source URL: www.newton.ac.uk

Language: English - Date: 2006-02-20 08:33:07
80Logic / Information / Group theory / Abox / Tbox / Parity of a permutation / Conservative extension / Structure / Ontology / Mathematics / Model theory

Modularity in DL-Lite Roman Kontchakov1 , Frank Wolter2 , and Michael Zakharyaschev1 1 School of Computer Science and Information Systems, Birkbeck College, London, {roman,michael}@dcs.bbk.ac.uk

Add to Reading List

Source URL: www.ceur-ws.org

Language: English - Date: 2007-05-22 01:39:22
UPDATE